bitkeeper revision 1.1062.1.8 (40f2b4a7XA6Vy0Lq6nLBErX9_qDhcQ)
authorkaf24@scramble.cl.cam.ac.uk <kaf24@scramble.cl.cam.ac.uk>
Mon, 12 Jul 2004 15:56:23 +0000 (15:56 +0000)
committerkaf24@scramble.cl.cam.ac.uk <kaf24@scramble.cl.cam.ac.uk>
Mon, 12 Jul 2004 15:56:23 +0000 (15:56 +0000)
commit40e54ae10094423e8de0a6f8afd1c1c0f56601fd
tree278b8a60a558e25979dad1fb52626a90ca0e0067
parent97a265d1887df44d75cdb8403434f034eca2b2b7
bitkeeper revision 1.1062.1.8 (40f2b4a7XA6Vy0Lq6nLBErX9_qDhcQ)

Various cleanups, and fix a domain-destruct bug that left GDT
references hanging.
19 files changed:
.rootkeys
xen/arch/x86/dom0_ops.c
xen/arch/x86/domain.c
xen/arch/x86/memory.c
xen/arch/x86/shadow.c
xen/arch/x86/traps.c
xen/arch/x86/x86_32/mm.c
xen/common/dom0_ops.c
xen/common/domain.c
xen/common/elf.c [new file with mode: 0644]
xen/common/kernel.c
xen/include/asm-x86/domain.h [new file with mode: 0644]
xen/include/asm-x86/mm.h
xen/include/asm-x86/processor.h
xen/include/asm-x86/shadow.h
xen/include/xen/elf.h
xen/include/xen/mm.h
xen/include/xen/sched.h
xen/include/xen/shadow.h [deleted file]